Verification of RNN-Based Neural Agent-Environment Systems
نویسندگان
چکیده
منابع مشابه
Verification of Multiple Agent Knowledge-Based Systems
The purpose of this paper is to extend verification tests to systems with multiple autonomous agent knowledge bases. Using a classic approach to verification, this paper focuses on tests concerned with consistency, completeness and correctness. In particular, this paper focuses on those unique issues that are generated as we go from single agent systems to multiple agent systems. This paper is ...
متن کاملVerification of Agent-Based Artifact Systems
Artifact systems are a novel paradigm for specifying and implementing business processes described in terms of interacting modules called artifacts. Artifacts consist of data and lifecycles, accounting respectively for the relational structure of the artifacts’ states and their possible evolutions over time. In this paper we put forward artifact-centric multi-agent systems, a novel formalisatio...
متن کاملMultilingual Adaptation of RNN Based ASR Systems
A large amount of data is required for automatic speech recognition (ASR) systems achieving good performance. While such data is readily available for languages like English, there exists a long tail of languages with only limited language resources. By using data from additional source languages, this problem can be mitigated. In this work, we focus on multilingual systems based on recurrent n...
متن کاملVerification of Information Flow in Agent-Based Systems
Analyzing information flow is beneficial on ensuring the satisfiability of security policies during the exchange of information between the agents of a system. In the literature, models such as Bell-LaPadula model and the Chinese Wall model are proposed to capture and govern the exchange of information among agents. Also, we find several verification techniques for analyzing information flow wi...
متن کاملVerification of Multi-Agent Systems via SDD-based Model Checking
Considerable progress has been achieved in the past ten years in the symbolic verification of Multi-Agent Systems (MAS). One of the most efficient techniques put forward is based on the use of ordered binary decision diagrams (OBDDs) for representing the state space and computing the states at which specifications hold. Sentential Decision Diagrams (SDDs) have recently been put forward as an al...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the AAAI Conference on Artificial Intelligence
سال: 2019
ISSN: 2374-3468,2159-5399
DOI: 10.1609/aaai.v33i01.33016006